"Studia Humanistyczne AGH" ["Contributions to Humanities AGH"] list of articles published in the year 2003-2013
نویسندگان
چکیده
منابع مشابه
An undecidability result for AGh
We present an undecidability result for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties, several recent works relax this assumption, allowing the intruder to exploit these properties. We are interested in the Abelian groups theory in combination with the homomorphism axiom. We show th...
متن کاملStéphanie Delaune An Undecidability Result for AGh
We present an undecidability result for the verification of security protocols. Since the perfect cryptography assumption is unrealistic for cryptographic primitives with visible algebraic properties, several recent works relax this assumption, allowing the intruder to exploit these properties. We are interested in the Abelian groups theory in combination with the homomorphism axiom. We show th...
متن کاملAGH University of Science and Technology
This report presents a design method for decision rules called ARD+. It is an extension of a previously proposed ARD method. In ARD+ the emphasis is put on the gradual refinement of the conceptual model of a knowledge-based system described with attributes. A practical algorithm providing a transition from the ARD+ design to rule design is introduced. Using ARD+ and the algorithm it is possible...
متن کاملCitation Review and Scientific Visualization of Articles Published in the Iranian Rehabilitation Journal (IRJ) 2003-2023 in the Scopus Database
Objective: Accurate scientific planning and societal macro policies require reviewing and evaluating research output. Scientometrics offers a valuable approach for assessing the activity of journals that publish a majority of scientific productions. This study aims to analyze the scientific activity of the Iranian Rehabilitation Journal (IRJ) by examining its publication history in the Scopus d...
متن کاملList of articles published on economics of Childhood Blindness
S: 1. Invest Ophthalmol Vis Sci. 2002 Oct;43(10):3209-15. Economic evaluation of orthoptic screening: results of a field study in 121 German kindergartens. Konig HH, Barry JC, Leidl R, Zrenner E. Department of Health Economics, University of Ulm, Ulm, Germany. [email protected] PURPOSE: The purpose of this study was to analyze the cost-effectiveness of an orthoptic screeni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Studia Humanistyczne AGH
سال: 2013
ISSN: 2084-3364
DOI: 10.7494/human.2013.12.1.103